$\forall$$i$,$j$:$\mathbb{Z}$. (($i$ =$_{0}$ $j$) = tt $\in$ $\mathbb{B}$) $\Rightarrow$ ($i$ = $j$)